Reed–Muller expansion